Algorithm Analysis and Summation